منابع مشابه
NASA Langley’s Research and Technology-Transfer Program in Formal Methods
This paper presents an overview of NASA Langley’s research program in formal methods. The major goals of this work are to make formal methods practical for use on high integrity systems, to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects, and to exploit this technology to help achieve NASA’s goals in aeronautics. Several dire...
متن کاملNASA Electronic Parts & Packaging ( NEPP ) Program Assurance Research on Optoelectronics
The wide variety of optoelectronics applications in NASA flight systems and instruments require that optoelectronic technologies meet the demanding requirements of the space environment throughout mission life. These requirements vary widely from intense radiation near Jupiter to the very cold temperatures on the Martian surface to the effects of solar flares in Earth orbit. Considerable work h...
متن کاملNASA STI Program
ion and flexibility while minimizing the resources necessary to support the architecture.15. SUBJECT TERMSRadio; Communication; Software; Architecture; Standards 16. SECURITY CLASSIFICATION OF:17. LIMITATION OFABSTRACT UU18. NUMBEROFPAGES1419a. NAME OF RESPONSIBLE PERSONSTI Help Desk (email:[email protected])a. REPORTUb. ABSTRACTUc. TH...
متن کاملThe NASA STI Program
Since its founding, NASA has been dedicated to the advancement of aeronautics and space science. The NASA Scientiic and Technical Information (STI) Program OOce plays a key part in helping NASA maintain this important role. The NASA STI Program OOce is operated by Langley Research Center, the lead center for NASA's scientiic and technical information. The NASA STI Program OOce provides access t...
متن کاملResearch in Progress AI Research at NASA Langley Research Center
The Flight Management Branch in the Flight Control Systems Division of Langley Research Center is exploring the use of AI concepts to aid flight crews in managing aircraft systems. Areas of AI that are of particular interest are expert systems, knowledge representation, and qualitative reasoning. This research effort, called Intelligent Cockpit Aids [ICA], consists of two distinct but related a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Acoustical Society of America
سال: 1969
ISSN: 0001-4966
DOI: 10.1121/1.1973463